<?php
	include("../configuration.php");
	$nombre_archivo = DEV_SQLFILE;
	if (file_exists($nombre_archivo)) {
		$nombre_fichero = DEV_DB . "_lasttimeupdate.txt";
		$gestor = fopen($nombre_fichero, "r");
		$lasttimeupdated = fread($gestor, filesize($nombre_fichero));
		fclose($gestor);
		
		if ($lasttimeupdated != filemtime($nombre_archivo)) {
			$contenido = filemtime($nombre_archivo);
			$gestor2 = fopen($nombre_fichero, 'w+');
			fwrite($gestor2, $contenido);
			fclose($gestor2);
			
			$sql = file(DEV_SQLFILE);
						
			$conexion = mysql_connect(DEV_HOST,DEV_USER,DEV_PASSWORD);
			mysql_select_db(DEV_DB,$conexion);
			
			foreach($sql as $sql_line) { 
			    if(trim($sql_line) != "" && strpos($sql_line, "--") == false) {         
			        echo $sql_line.'<br>'; 
			        mysql_query($sql_line); 
			    }
			}
		}
	}
?>
